Runtime verification

Results: 98



#Item
31Collaborative runtime verification with tracematches Eric Bodden1 , Laurie Hendren1 , Patrick Lam1 , Ondřej Lhoták2 and Nomair A. Naeem2 1

Collaborative runtime verification with tracematches Eric Bodden1 , Laurie Hendren1 , Patrick Lam1 , Ondřej Lhoták2 and Nomair A. Naeem2 1

Add to Reading List

Source URL: plg.uwaterloo.ca

Language: English - Date: 2007-09-07 12:33:41
    32Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen

    Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen

    Add to Reading List

    Source URL: christian.schallhart.net

    Language: English - Date: 2015-08-22 10:39:55
      33How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok TR #03-04a

      How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok TR #03-04a

      Add to Reading List

      Source URL: curtclifton.net

      Language: English - Date: 2008-03-29 15:16:22
        34Comparing LTL Semantics for Runtime Verification Andreas Bauer1 , Martin Leucker2 , and Christian Schallhart2 1 2

        Comparing LTL Semantics for Runtime Verification Andreas Bauer1 , Martin Leucker2 , and Christian Schallhart2 1 2

        Add to Reading List

        Source URL: christian.schallhart.net

        Language: English - Date: 2015-08-22 10:39:54
          35Delft University of Technology Master’s Thesis in Embedded Systems Event patterns for distributed runtime verification ¨ Kwekkeboom

          Delft University of Technology Master’s Thesis in Embedded Systems Event patterns for distributed runtime verification ¨ Kwekkeboom

          Add to Reading List

          Source URL: www.es.ewi.tudelft.nl

          Language: English - Date: 2014-05-27 11:06:32
            36Distributed System Contract Monitoring✩ Adrian Francalanza, Andrew Gauci, Gordon J. Pace Department of Computer Science, University of Malta Abstract Runtime verification of distributed systems poses various challenges

            Distributed System Contract Monitoring✩ Adrian Francalanza, Andrew Gauci, Gordon J. Pace Department of Computer Science, University of Malta Abstract Runtime verification of distributed systems poses various challenges

            Add to Reading List

            Source URL: staff.um.edu.mt

            Language: English - Date: 2012-11-02 10:53:09
              37Investigating Instrumentation Techniques for ESB Runtime Verification? Christian Colombo1 , Gabriel Dimech2 , and Adrian Francalanza1 1 Department of Computer Science, University of Malta

              Investigating Instrumentation Techniques for ESB Runtime Verification? Christian Colombo1 , Gabriel Dimech2 , and Adrian Francalanza1 1 Department of Computer Science, University of Malta

              Add to Reading List

              Source URL: staff.um.edu.mt

              Language: English - Date: 2015-05-27 11:46:55
                38An LTL Proof System for Runtime Verification Clare Cini1 and Adrian Francalanza1 Computer Science, ICT, University of Malta {clare.cini.08,adrian.francalanza}@um.edu.mt Abstract. We propose a local proof system for LTL

                An LTL Proof System for Runtime Verification Clare Cini1 and Adrian Francalanza1 Computer Science, ICT, University of Malta {clare.cini.08,adrian.francalanza}@um.edu.mt Abstract. We propose a local proof system for LTL

                Add to Reading List

                Source URL: staff.um.edu.mt

                Language: English - Date: 2015-01-10 10:46:30